1. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295